dredging operations - German English Dictionary